/*************** YOU SHOULD NOT MODIFY ANYTHING IN THIS FILE ***************/
int run_mp2_tests(int argc, char **argv);
int mp2_main(int argc, char **argv);
